Consistent weak forms for meshfree methods: Full realization of h-refinement, p-refinement, and a-refinement in strong-type essential boundary condition enforcement
نویسندگان
چکیده
منابع مشابه
Commutativity Condition Refinement
We present a technique for automatically generatingcommutativity conditions from (abstract-level) data-structurespecifications. We observe that one can pose the commutativityquestion in a way that does not introduce additional quantifiers,via a mechanized lifting of a (potentially partial) specificationto an equivalent total specification. We then describe an al-gorithm ...
متن کاملMorphological and Crystallographic Characterization of Nanoparticles by Granulometry Image Analysis and Rietveld Refinement Methods
The particle size distribution of the resultant cobalt ferrite samples was determined from Scanning Electron Microscopy (SEM) images using the granulometry image analysis method. Results showed the nanosized particles of the samples. The X-Ray Diffraction (XRD) patterns of samples were also analyzed by Rietveld refinement method. The results indicated that the precipitated sample at 95 <sup...
متن کاملFull structural model refinement as type refinement of colored Petri nets
In this paper we propose a method for implementing a full structural model refinement of a (biological) model represented as a (colored) Petri net. We build on the full structural data refinement definition of C. Gratie and Petre, and the type refinement of colored Petri nets introduced by Charles Lakos. Given a (biological) reaction-based model and a desired full structural refinement of it, w...
متن کاملDiagonal Matrix Reduction over Refinement Rings
Abstract: A ring R is called a refinement ring if the monoid of finitely generated projective R- modules is refinement. Let R be a commutative refinement ring and M, N, be two finitely generated projective R-nodules, then M~N if and only if Mm ~Nm for all maximal ideal m of R. A rectangular matrix A over R admits diagonal reduction if there exit invertible matrices p and Q such that PAQ is...
متن کاملAlgebraic Methods for Model Refinement
The present work was stimulated by [8] and [9]. Our idea will be to algebraise the ideas present there. Therefore a quantal theory for model checking and model refinement will be introduced and some possibilities for its application will be sketched. Furthermore a short outlook on future work and open questions is given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Methods in Applied Mechanics and Engineering
سال: 2021
ISSN: 0045-7825
DOI: 10.1016/j.cma.2020.113448